
int gfx_draw_op(uarg_t arg, char *ptr);
void video_read( uint8_t *buff );
void video_write( uint8_t *buff );
